Prolog - Пролог - логическийязык программирования, разработанный в 1972 году. 6 букв(предложено AI)
Пролог - (язык программирования) язык и система логического программирования, основанные на языке предикатов математической логики дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка 6 букв